منابع مشابه
Ready to Preorder: Get Your BCCSP Axiomatization for Free!
This paper contributes to the study of the equational theory of the semantics in van Glabbeek’s linear time branching time spectrum over the language BCCSP, a basic process algebra for the description of finite synchronization trees. It offers an algorithm for producing a complete (respectively, ground-complete) equational axiomatization of any behavioral congruence lying between ready simulati...
متن کاملGet Your Study Plan
Das moderne Studium stellt die Studierenden vor inhaltliche, organisatorische und technische Herausforderungen. Zur Unterstützung und Begleitung soll daher an der TU Berlin eine Plattform geschaffen werden, die eine geeignete, vorkonfigurierte Softwareinfrastruktur zur Nutzung von digitalen Lerninhalten bereitstellt. Ein Recommender-System soll dabei unterstützen, die richtigen Module, Vorlesun...
متن کاملGet Your Research Noticed!
Writing your research paper well is the first stage to increase readership and popularising your research. The key questions to deal with while writing your paper is to not only to clearly think and state the message you intend to convey (what are you trying to say?) but also to keep in mind whom you are trying to convey this message to (who is your audience?). A well written paper based on spe...
متن کاملINDIVIDUAL AND OCCUPATIONAL COMPONENTS AFFECTING THE QUALITY OF WORK LIFE OF NURSES IN THE COVID-19 PATIENTS CARE UNIT
Background & Aims: In the conditions of the COVID-19 epidemic, due to the excessive tension and stress of the nurses in the units caring these patients, it is very important to identify and improve the effective components in the quality of the working life of the nurses; In this regard, the present research was conducted with the aim of identifying and prioritizing the personal and professiona...
متن کاملGet Ready for Agile Methods, with Care
F aced with the conflicting pressures of accelerated product development and users who demand that increasingly vital systems be made ever more dependable, software development has been thrown into turmoil. Traditionalists advocate using extensive planning, codified processes, and rigorous reuse to make development an efficient and predictable activity that gradually matures toward perfection. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Italian journal of gynaecology & obstetrics
سال: 2023
ISSN: ['2385-0868']
DOI: https://doi.org/10.36129/jog.2022.63